Finite Model Property of Pretransitive Modal Logic
نویسندگان
چکیده
The finite model property of the quasi-transitive modal logic K32 = K ⊕ ✷✷p → ✷✷✷p is proved. This modal logic is conservatively extended to the tense logic Kt32. We present a Gentzen sequent calculus Gt32 for Kt 3 2 which admits cut elimination. The sequent calculus Gt 3 2 is shown to have the finite model property by a construction of finite syntactic model. It follows that Kt32 has the finite model property. And the quasi-transitive modal logic K32 has the finite model property.
منابع مشابه
Local tabularity without transitivity
According to the classical result by Segerberg and Maksimova, a modal logic containing K4 is locally tabular i↵ it is of finite height. The notion of finite height can also be defined for logics, in which the master modality is expressible (‘pretransitive’ logics). We observe that every locally tabular logic is a pretransitive logic of finite height. Then we prove some semantic criteria of loca...
متن کاملDisjunction Property and Finite Model Property For an Intuitionistic Epistemic Logic
We show finite model property, disjunction property and decidability for an intuitionistic epistemic logic IEC. Intuitionistic logic is originally a formalisation of a single mathematician whose knowledge increases over time. The logic IEC formalises multiple agents that communicate asynchronously and whose knowledge increases over time. Although soundness and strong completeness for IEC for a ...
متن کاملFinite Model Property for Some Intuitionistic Modal Logics
In this paper, we will show some logic has the finite model property by using filtration method. Although the filtration method for classical modal logics has been studied comprehensively, the method is not completely applied to intuitionistic modal logics yet.
متن کاملA theoretical investigation into quantitative modal logic
Quantitative modal logic (QML) is a multi-modal formulation of possibilistic reasoning with the capacity of representing and reasoning about higher order uncertainty. In this paper, some results about QML and possibility theory are investigated. First, the concept of filtration in classical modal logic is introduced into QML and the fundamental filtration theorem is proved. Second, as a corolla...
متن کاملOn the Finite Model Property of Intuitionistic Modal Log - ics over MIPC 1 ) 2 )
MIPC is a well-known intuitionistic modal logic of Prior (1957) and Bull(1966). It is shown that every normal intuitionistic modal logic L over MIPC has the nite model property whenever L is Kripke-complete and universal. Mathematics Subject Classi cation: 03B45, 03B25.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- CoRR
دوره abs/1802.09240 شماره
صفحات -
تاریخ انتشار 2018